first-order-logic

1열

1답변

저는 합금 (명세 언어)의 초보자이며 사례 연구 (here (코드는 5 페이지에 있음))를 기반으로 몇 가지 추가 작업을 수행해야합니다. 관련 코드 : "이 표현은 타입 체크에 실패", 그리고 let t' = T0/t.next에서 t' 강조 : open util/ordering[Time] as T0 pred Eavesdropping() { so

5열

2답변

첫 번째 주문 완전 초보자를위한 논리 (추천 도서)?

내가 갖고 있으면 안되는 수업에 등록했습니다. 그래서 저는 교수님이 1 차 논리를 설명 할 때 사용 된 표기법을 이해하지 못하기 때문에 약간 조여졌습니다. 나는이 모든 것을 다시 배우는 법에 관한 책 제안이 필요하다. 예를 들면 : 나는 "한정어"가 무엇인지에 대해 혼란스러워했다. 많은 예제가있는 좋은 책? 감사합니다

2열

1답변

sml의 논리 단순화

sml에서 논리 단순화 프로그램을 만들고 있습니다. 하지만이 입력에 대한 문제가 있습니다. - Or(Or(Var"x", Var"y"), Var"z"); val it = Or (Or (Var #,Var #),Var "z") : formula - Simplify it; 그리고 무한 루프에 있습니다. X는 Y는 더 간단 할 수없는 경우 | Simplify

3열

2답변

첫 번째 주문 논리 및 프롤로그

프롤로그가 첫 번째 주문 논리를 나타내는 방식을 이해하려고합니다. 예를 들어, 동물의 유형 목록에서 어떻게 표현할 수 있습니까? 개 (반점). 고양이 (nyny). 플라이 (해리) 모든 동물은 포유 동물 또는 곤충 것을 ?입니다 mammal(X) :- dog(X). mammal(X) :- cat(X). insect(X) :- fly(X). , 포유

2열

4답변

FOL에서 문장 표현

FOL (First Order Logic)에서 다음 문장을 나타내는 법 "고기 만 먹는 동물이 있습니다" 다음 represantaion이 사실입니까? Ǝx (x, meat) x는 동물입니다

1열

1답변

1 차 로직 문장을 문자열 일치가있는 Protègè의 제한으로 변환하는 방법은 무엇입니까?

도메인 분류 및 용어에 대한 정보를 추론하기 위해 온톨로지를 작성하는 것이 좋지만 개념적으로 어려움이 있습니다. 문제를 설명해 드리겠습니다. Protègè 4.1에서 나는 Thing : Concept, conceptTitle, ConceptSynonym (분류) 및 Term, TermTitle, TermSynonym (전문 용어)의 6 개 하위 클래스를 만

2열

1답변

Z3의 FOL 정의 이론

Microsoft에서 개발 한 SMT 솔버 인 Z3에 1 차 이론을 넣고 싶습니다. 이 이론은 두 객체 으로 obj1 및 obj2보다, 함수 객체를 받아 작업을 반환 이동 및 는 인수로 조치를 취 발생 한 위치 조건이 포함되어 있습니다. 이 이론에는 수식이 포함되어 있습니다 (move (obj1)), 그리고 이 발생하는 유일한 방법 인 것입니다. 조건자가

1열

1답변

이 논리 문장을 증명할 수없는 이유는 무엇입니까?

다음에서는 두 번째 문이 네 번째 문과 어떻게 다른지 알지 못합니다. 우리가 증명할 수있는 21은 2라는 것을 증명할 수있는 것과 같은 방식으로 자연수라고 생각합니다. 두 번째 진술이 증명 될 수 있고 네 번째 진술이 증명 될 수없는 이유 또는 어떻게 다른지를 설명 할 수 있습니까? 고맙습니다. X 자연 경우, 자연수 모든 X를 들어 가 0은 자연수 2 :