AutomaticReasoning IntelligentSystems
1.0.0
이것은 제가 UDC(스페인)에서 컴퓨터 과학 학사 2학년과 3학년 때 지능형 시스템, 지식 표현 및 자동 추론 과정을 위해 개발한 프로젝트 모음입니다. 프로젝트는 다음과 같습니다:
많은 멜로디 제한과 선호도를 고려한 응답 세트 프로그래밍을 사용하여 다중 음성을 갖춘 자동 캐논 작곡가입니다 . gringo, clasp, python 및 lilypond 도구를 사용합니다. 제공된 기본 설정 파일 중 하나로 생성된 짧은 예제 오디오 파일이 제공됩니다. Python, clasp, gringo 및 lilypond를 사용합니다.
소코반 게임을 해결하는 휴리스틱 검색을 통한 소코반 해결사입니다 . Russell&Norvig03의 책에서 직접 추출한 일부 코드의 도움으로 나와 파트너는 e특정 도메인과 적합한 휴리스틱을 개발했습니다. Greedy, BSF, DSF 및 A*를 사용하여 검색을 수행할 수 있습니다. 목표는 플레이어(@)를 UP, DOWN, LEFT, RIGHT로 움직여 목표(.)를 수집하는 것입니다. 벽(#)은 이동할 수 없지만 개체($)는 이동할 수 있습니다. 선택된 휴리스틱은 목표까지의 최소 거리입니다.
Hitori 퍼즐의 단순화된 버전을 게임 규칙에 따라 CNF 부울 절 세트로 변환하는 Hitori Puzzle Solver는 SAT(명제 만족도) 솔버를 호출하여 솔루션을 생성합니다. Python과 picosat를 사용합니다.
빅뱅이론 게임 가위바위보, 종이, 도마뱀, 스팍(Spock)에서 다양한 일이 일어날 확률을 계산하는 답변 세트를 사용한 확률적 추론입니다 . P-log를 사용합니다.
Prover9이라는 Predicate Calculus용 정리 증명자를 사용하여 전제에서 결론이 도출되는지 확인하는 정리 증명자 프로젝트입니다. 이 소프트웨어는 First Order Logic의 공식 목록을 수용하고 분해능을 사용한 반박을 통해 공식의 유효성 여부를 결정합니다.
게임에 대한 해결책을 찾아주는 휴리스틱 검색을 통한 8퍼즐 해결사입니다 . Russell&Norvig03의 책에서 직접 추출한 일부 코드의 도움으로 우리는 e특정 도메인과 적합한 휴리스틱을 개발했습니다. Greedy, BSF, DSF 및 A*를 사용하여 검색을 수행할 수 있습니다. 시도된 최고의 경험적 방법은 택시 거리였습니다.
Arad에서 부쿠레슈티까지의 경로를 찾는 루마니아 로드맵 검색 (가장 짧은 경로 권장). Russell&Norvig03의 책에서 직접 추출한 일부 코드의 도움으로 우리는 e특정 도메인과 적합한 휴리스틱을 개발했습니다. Greedy, BSF, DSF 및 A*를 사용하여 검색을 수행할 수 있습니다. 사용된 경험적 방법은 직선 거리였습니다.
요청, 버그 보고서 및 좋은 농담은 Daniel Ruiz Perez에게 문의하세요.
이 저장소의 소프트웨어는 GNU General Public License, 버전 3에 따라 사용할 수 있습니다. 자세한 내용은 LICENSE 파일을 참조하세요.
