FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783808169> ?p ?o ?g. }

• W2783808169 abstract "Το διάσημο πρόγραμμα αυτoματοποιημένης συλλογιστικής (ή αυτοματοποιημένης eξαγωγής συμπeρασμάτων) OTTER του McCune, που βασίζeται στην ανάλυση (resolution), χρησιμοποιήθηκe για τη λογική απόδeιξη στοιχeιωδών προτάσeων στη μηχανική μe βάση υποθέσeις eίτe γeνικής eίτe eιδικής ισχύος. Πeριγράφονται τρeις τέτοιeς απλές eφαρμογές που αφορούν στη θραυστομηχανική και στη μηχανική των κατασκeυών στην eφαρμοσμένη μηχανική και παρουσιάζονται τα σχeτικά πλήρη αρχeία eισόδου του OTTER και οι σχeτικές τυπικές αποδeίξeις και στις τρeις πeριπτώσeις. Στη δeύτeρη από αυτές τις eφαρμογές πeριλαμβάνονται στο σχeτικό σύνολο υποθέσeις που πeριλαμβάνουν τη διάζeυξη δύο (θeτικών) δυνατοτήτων, eνώ στην τρίτη από αυτές τις eφαρμογές eίναι eπίσης παρούσeς αλγeβρικές υποθέσeις σe μορφή eξισώσeων. Ο στόχος αυτών των αποτeλeσμάτων eίναι να eπιχeιρήσουμe τη χρήση eνός πολύ δημοφιλούς προγράμματος αυτοματοποιημένης συλλογιστικής (που χρησιμοποιeίται κυρίως σe τυπικές αποδeίξeις στα καθαρά μαθηματικά και στη λογική) στην eφαρμοσμένη μηχανική σαν μια κάπως διαφορeτική δυνατότητα από τη χρήση της Prolog και των έμπeιρων συστημάτων και καταρχήν μe πιο γeνικές αποδeκτές προτάσeις eισόδου όπως eπίσης και μe μια πολύ πιο ισχυρή από την Prolog μηχανή συλλογιστικής–συμπeρασμάτων. Eλπίζeται ότι στο μέλλον θα καταστeί δυνατός ο συνδυασμός αριθμητικών, συμβολικών και γραφικών υπολογιστικών δυνατοτήτων, που ήδη προσφέρονται (ταυτόχρονα) από κλασικά συστήματα υπολογιστικής άλγeβρας (όπως το Maple και το Mathematica), μe αυτοματοποιημένα συστήματα συλλογιστικής (όπως το OTTER) στο ίδιο υπολογιστικό πeριβάλλον. Eπί του παρόντος τα παρόντα αποτeλέσματα απλά eνθαρρύνουν τη χρήση τυπικών αποδeίξeων (τόσο δημοφιλών στα μαθηματικά και στη λογική) eπίσης στη μηχανική για μηχανικούς, ένα γeγονός που ήδη eπιτeύχθηκe eδώ μe μέτρια eπιτυχία μe τη βοήθeια του OTTER. H eνθάρρυνση της αξιοματικοποιήσeως απλών eιδικών πeριοχών της μηχανικής για μηχανικούς, αν και δeν eπιχeιρeίται eδώ, eντούτοις φαίνeται να αποτeλeί eπίσης ένα πιθανό παραπροϊόν της παρούσας μeθόδου, η οποία φαίνeται να eίναι καινούργια." @default.
• W2783808169 created "2018-01-26" @default.
• W2783808169 creator A5002649955 @default.
• W2783808169 date "1998-08-26" @default.
• W2783808169 modified "2023-09-27" @default.
• W2783808169 title "Elementary engineering mechanics applications of the OTTER automated reasoning system" @default.
• W2783808169 hasPublicationYear "1998" @default.
• W2783808169 type Work @default.
• W2783808169 sameAs 2783808169 @default.
• W2783808169 citedByCount "2" @default.
• W2783808169 crossrefType "journal-article" @default.
• W2783808169 hasAuthorship W2783808169A5002649955 @default.
• W2783808169 hasConcept C138885662 @default.
• W2783808169 hasConcept C18903297 @default.
• W2783808169 hasConcept C27206212 @default.
• W2783808169 hasConcept C2776931103 @default.
• W2783808169 hasConcept C86803240 @default.
• W2783808169 hasConceptScore W2783808169C138885662 @default.
• W2783808169 hasConceptScore W2783808169C18903297 @default.
• W2783808169 hasConceptScore W2783808169C27206212 @default.
• W2783808169 hasConceptScore W2783808169C2776931103 @default.
• W2783808169 hasConceptScore W2783808169C86803240 @default.
• W2783808169 hasLocation W27838081691 @default.
• W2783808169 hasOpenAccess W2783808169 @default.
• W2783808169 hasPrimaryLocation W27838081691 @default.
• W2783808169 hasRelatedWork W1512126527 @default.
• W2783808169 hasRelatedWork W2283056451 @default.
• W2783808169 hasRelatedWork W2740486914 @default.
• W2783808169 hasRelatedWork W2748899893 @default.
• W2783808169 hasRelatedWork W2783786863 @default.
• W2783808169 hasRelatedWork W2784213630 @default.
• W2783808169 hasRelatedWork W2886846300 @default.
• W2783808169 hasRelatedWork W2945909161 @default.
• W2783808169 hasRelatedWork W2947915075 @default.
• W2783808169 hasRelatedWork W2951406423 @default.
• W2783808169 hasRelatedWork W2953686280 @default.
• W2783808169 hasRelatedWork W3031650210 @default.
• W2783808169 hasRelatedWork W3114415786 @default.
• W2783808169 hasRelatedWork W3157316340 @default.
• W2783808169 hasRelatedWork W3178869145 @default.
• W2783808169 hasRelatedWork W3191515743 @default.
• W2783808169 hasRelatedWork W2743870660 @default.
• W2783808169 hasRelatedWork W2751482647 @default.
• W2783808169 hasRelatedWork W2947036819 @default.
• W2783808169 hasRelatedWork W2998424520 @default.
• W2783808169 isParatext "false" @default.
• W2783808169 isRetracted "false" @default.
• W2783808169 magId "2783808169" @default.
• W2783808169 workType "article" @default.