Câu hỏi được gắn thẻ «first-order-logic»

Đối với tôi, dường như 'hàm ý' trong ngôn ngữ tiếng Anh không có nghĩa giống như toán tử logic 'ngụ ý', theo cách tương tự như từ 'OR' trong hầu hết các trường hợp có nghĩa là 'Độc quyền HOẶC' trong cách sử dụng ngôn ngữ hàng ngày của …

24 terminology  logic  first-order-logic  propositional-logic 

Gần đây tôi đã suy nghĩ về tính hợp lệ của bằng chứng bằng mâu thuẫn. Tôi đã đọc trong vài ngày qua những điều về logic trực giác và các định lý của Godel để xem liệu chúng có cung cấp cho tôi câu trả lời cho câu hỏi …

19 logic  first-order-logic  propositional-logic  incompleteness 

Tôi đã đọc câu hỏi Tính nhất quán và đầy đủ có nghĩa là sự đúng đắn? và tuyên bố đầu tiên trong đó nói: Tôi hiểu rằng âm thanh ngụ ý sự nhất quán. Điều mà tôi đã khá bối rối vì tôi nghĩ rằng âm thanh là một …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Tôi đã cố gắng giải bài tập sau nhưng tôi bị kẹt trong khi cố gắng tìm tất cả các cặp quan trọng . Tôi có những câu hỏi sau: Làm thế nào để tôi biết cặp quan trọng nào tạo ra quy tắc mới? Làm thế nào để tôi …

10 logic  first-order-logic 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tôi nghĩ rằng bất kỳ FOT nào cũng là tập con của FOL, nhưng dường như không phải vậy, vì FOL đã hoàn thành (mọi công thức đều hợp lệ hoặc không hợp lệ), trong khi một số FOT (như số học số nguyên tuyến tính) chưa hoàn tất. Vậy, …

8 logic  first-order-logic 

Hãy để x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) và được -vectors biến boolean. Tôi có một vị từ boolean trên . Tôi đưa cho bạn tôi Priscilla . Đáp lại, cô ấy đưa cho tôi , một vị từ boolean trên và cô ấy tuyên bố rằngn Q ( x , y ) x , …

8 logic  satisfiability  first-order-logic  software-verification  model-checking 

Tôi quan tâm đến mối quan hệ tương đương alpha trong các ngôn ngữ có các ràng buộc thay đổi, chẳng hạn như: t := x:y 'x belong to y' | bot 'False' | t -> t 'implication' | Ax.t 'forall x, t' Hoặc phép tính lambda thuần túy: t …

7 logic  lambda-calculus  first-order-logic 

"Độ phức tạp tính toán" của Papadimitriou nói rằng GIÁ TRỊ, vấn đề quyết định liệu một công thức logic thứ nhất (không có số học) có hợp lệ hay không, có thể được liệt kê một cách đệ quy. Điều này xuất phát từ các định lý đầy đủ …

7 complexity-theory  undecidability  first-order-logic 

Tôi đã đọc cuốn sách xuất sắc về kiến ​​thức và lý luận của Ronald Brachman và Hector Levesque. Ở đầu mục 3.2 "Từ vựng" của Chương 3 "Thể hiện kiến ​​thức", họ nêu: Khi tạo KB (Cơ sở tri thức), bạn nên bắt đầu với tập hợp các biến …

7 terminology  logic  knowledge-representation  first-order-logic  reasoning 

Đi qua một số hướng dẫn đại diện kiến ​​thức về độ phân giải tại thời điểm này, và tôi đã xem qua slide 05.KR, no77 . Ở đó có đề cập rằng "thủ tục cũng hoàn tất". Tôi nghĩ rằng tính đầy đủ này không có nghĩa là nếu …

7 logic  first-order-logic